1. Advances in safety, reliability and risk management :
پدیدآورنده : editors, Christophe Bérenguer & Antoine Grall, C. Guedes Soares.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Industrial safety -- Management -- Congresses.,Reliability (Engineering) -- Congresses.,System safety -- Congresses.
رده :
TS173
.
E358
2012
2. Analytical and Stochastic Modelling Techniques and Applications
پدیدآورنده : edited by Sabine Wittevrongel, Tuan Phung-Duc.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Computer software.,Computer system performance.,Operating systems (Computers),Software engineering.
رده :
QA76
.
758eb
3. Bayesian analysis of stochastic process models
پدیدآورنده : / David Rios Insua, Department of Statistics and Operations Research Universidad Rey Juan Carlos, Madrid, Spain, Fabrizio Ruggeri, CNR-IMATI, Milan, Italy, Michael P. Wiper, Department of Statistics, Universidad Carlos III de Madrid, Spain
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Bayesian statistical decision theory.,Stochastic processes.
رده :
E-BOOK
4. Complex data modeling and computationally intensive statistical methods
پدیدآورنده : / Pietro Mantovan (editor), Piercesare Secchi (editor
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematical statistics, Data processing
رده :
QA276
.
4
.
C66
2010
5. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
6. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
7. Computer performance engineering :
پدیدآورنده : Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2013
8. Electric power grid reliability evaluation :
پدیدآورنده : Chanan Singh, Panida Jirutitijaroen, JoydeepMitra.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electric power distribution-- Evaluation.,Electric power distribution-- Evaluation.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK3001
9. Hybrid systems biology :
پدیدآورنده : Milan Češka, Nicola Paoletti (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hybrid systems, Congresses.,Systems biology, Congresses.,Hybrid systems.,Systems biology.
رده :
QA76
.
9
.
L63
H73
2019eb
10. Image Analysis, Random Fields and Markov Chain Monte Carlo Methods
پدیدآورنده : by Gerhard Winkler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation.,Computer vision.,Distribution (Probability theory).,Mathematics.,Medical radiology.,Numerical analysis.
11. Introduction to the mathematics of operations research with Mathematica /
پدیدآورنده : Kevin J. Hastings.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematica (Computer file),Mathematica (Computer file),Operations research-- Mathematics.,Mathematica (Langage de programmation),Recherche opérationnelle-- Mathématiques.,85.03 methods and techiques of business administration and organization science.,Matemática.,Mathematica,Mathematica (computer program),Mathematica.,Operations Research,Operations research-- Mathematics.,Operations research.,Pesquisa operacional.
رده :
T57
.
6
.
H385
2006
12. Kinetic logic :
پدیدآورنده : ed. by René Thomas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomathematik.,Boolesche Algebra.,Boolescher Verband.
رده :
QH450
.
E339
1979
13. Marine navigation and safety of sea transportation
پدیدآورنده : / editor, Adam Weintrit
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Electronics in navigation--Congresses,Aids to navigation--Congresses,Shipping--Safety measures--Congresses,Shipping--Technological innovations--Congresses,Nautical instruments--Congresses
14. Markov processes for stochastic modeling /
پدیدآورنده : Oliver C. Ibe
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Markov processes,Stochastic processes
رده :
QA274
.
7
15. Modelling, simulation, and optimization of complex processes :
پدیدآورنده : Hans Georg Bock [and others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering-- Data processing, Congresses.,High performance computing, Congresses.,Science-- Data processing, Congresses.,Engineering-- Data processing.,Engineering-- Data processing.,High performance computing.,High performance computing.,Science-- Data processing.,Science-- Data processing.
رده :
QA76
.
88
.
I5757
2003
16. Nonlinear dynamics and stochastic mechanics /
پدیدآورنده : edited by Wolfgang Kliemann, Ph.D., Professor, Department of Mathematics, Iowa State University, Ames, Iowa, N. Sri Namachchivaya, Ph.D., Associate Professor, Department of Aeronautical and Astronautical Engineering, University of Illinois, Urbana-Champaign, Illinois.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mechanics, Applied.,Nonlinear mechanics.,Stochastic processes.,Mechanics, Applied.,Nonlinear mechanics.,Stochastic processes.,TECHNOLOGY & ENGINEERING / Engineering (General),TECHNOLOGY & ENGINEERING / Reference.
رده :
TA350
17. Operations Research '93 :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
HD30
.
23
O647
1994
18. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
19. Practical reliability engineering /
پدیدآورنده : Patrick P. O'Connor and Andre Kleyner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Reliability (Engineering)
20. Quantitative assessments of distributed systems :
پدیدآورنده : edited by Dario Bruneo and Salvatore Distefano
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
